1. Axiomatic set theory
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Axiomatic set theory-- Congresses
رده :
QA
248
.
A95
1984
2. Axiomatic set theory
پدیدآورنده : James E.Baumgartner, Donald A. Martin and Saharon Shelah, editors
کتابخانه: (طهران)
موضوع : Congresses ، Axiomatic set theory
رده :
QA
248
.
A95
3. Axiomatic set theory
پدیدآورنده : ]Edited by Dana S. Scott[
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Axiomatic set theory
رده :
QA
248
.
S95
1967
4. Axiomatic set theory
پدیدآورنده : Symposium in Pure Mathematics, 7691, University of California, Los Angeles
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Axiomatic set theory-- Congresses
رده :
QA
248
.
S95
1967
5. Axiomatic set theory
پدیدآورنده : Editors: James E. Baumgartner, Donald A. Martin and Saharon Shelah
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (أذربایجان الشرقیة)
موضوع : Axiomatic set theory - Congresses
رده :
QA
,
248
,.
A95
6. Axiomatic set theory
پدیدآورنده : edited by Dana S. Scott
کتابخانه: (طهران)
موضوع : Congresses ، Axiomatic set theory
رده :
QA
1
.
P7
Vol
.
13
7. Fuzzy Logic :
پدیدآورنده : W Leinfellner
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Fuzzy sets -- Congresses.,Fuzzy systems -- Congresses.
8. Proof technology and computation /
پدیدآورنده : edited by Helmut Schwichtenberg and Katharina Spies.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Automatic theorem proving, Congresses.,Computer programming, Congresses.,Computer software-- Development, Congresses.,Automatic theorem proving.,Computer programming.,Computer software-- Development.,COMPUTERS-- Expert Systems.
رده :
QA76
.
9
.
A96
N38
2003eb
